$\vdash$  ff = ff